81. Logic and Representation
پدیدآورنده : \ Robert C. Moore
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Language and logic,Semantics (Philosophy),زبان و منطق,معنی‌شناسی (فلسفه),a03,a04,a03,a04
رده :
E-Book
,
82. Logic and language (second series)
پدیدآورنده : / essays by Gilbert Ryle ... [et al.]
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق,زبان
رده :
BC
۶
/
ف
۸
ل
۲ ۱۳۴۶
83. Logic and philosophy
پدیدآورنده : \ Alan Hausman, Howard Kahane, Paul Tidman
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Predicate (Logic),حمل (منطق),a05,a05,Logic.,Philosophy.,منطق,فلسفه
رده :
BC
108
.
H32L6
2010
E-Book
,
84. Logic and the Art of Memory
پدیدآورنده : / Paolo Rossi
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Modern, History,Memory (Philosophy), History,Language, Universal, History,منطق جدید -- تاریخ,حافظه (فلسفه) -- تاریخ,زبان بین‌المللی -- تاریخ
رده :
BC38
.
R6713
2000
85. Logic for Philosophy
پدیدآورنده : / Theodore Sider
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic,منطق
رده :
BC50
.
S5L6
2010
86. Logic for philosophy
پدیدآورنده : \ Theodore Sider
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic,منطق
رده :
BC
50
.
S5L6
2009
E-Book
,
87. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبان‌های صوری
رده :
P
39
.
L644
2015
E-Book
,
88. Logica modernorum in Prague about 1400 : the sophistria disputation 'Quoniam quatuor' (MS Cracow, Jagiellonian Library 686, FF. 1RA-79RB), with a partial reconstruction of Thomas of Cleve's Logica [ Electronic Book ]
پدیدآورنده : / edition with an introduction and appendices by E.P. Bos
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : منطق قرون وسطا,Logic, Medieval,Language and logic - Early works to 1800,Semantics (Philosophy) - Early works to 1800
رده :
B765
.
Z9L3
89. Logical Foundations of Computer Science
پدیدآورنده : \ Sergei Artemov , Anil Nerode (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,
90. Logical Studies of Paraconsistent Reasoning in Science and Mathematics
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
91. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
92. Machine Learning in Healthcare Informatics
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Applied physical engineering ,robots,fuzzy logic ,روبوت‌ها,منطق فازی
رده :
E-Book
,
93. Mathematical Foundations of Computer Science 2010
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics -- Congresses,Computer logic -- Congresses,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
94. Mathematical Logic
پدیدآورنده : \ Wei Li
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
95. Mathematical Thought and its Objects
پدیدآورنده : / Charles Parsons, Harvard University
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics, Philosophy,Object (Philosophy),Logic,ریاضیات -- فلسفه,عین (فلسفه),منطق
رده :
QA8
,.
4
.
P36
2008
96. Mathematical logic
پدیدآورنده : / Yu. L. Ershov, E. A. Palyutin
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی
رده :
QA
۹
/
۲
/
ی
۴
م
۲ ۱۳۶۳
97. Meaning and Necessity
پدیدآورنده : / by Rudolf Carnap
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,معنی شناسی (فلسفه),منطق ریاضی
رده :
B840
.
C3
1956
98. Modal Logic for Philosophers
پدیدآورنده : / James W. Garson, University of Houston
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Modality (Logic) -- Textbooks,منطق موجهات -- کتاب های درسی
رده :
BC199
.
M6
,
G38
2013
99. Modal logic
پدیدآورنده : / Nino B. Cocchiarella and Max A. Freund
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Modality (Logic),صورت ( منطق )
رده :
BC199
.
M6C6
100. Modality
پدیدآورنده : / Paul Portner
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Modality (Linguistics),Modality (Logic),وابسته دستوری,منطق موجهات
رده :
P299
.
M6
,
P67
2009
